Samtʻan Sŏnsaeng chip -- Tongguk changwŏnjip -- Sihak kyegyŏng.

v. 1. Sŏngnihak pʻyŏn -- v. 2. Kyŏngse sasang pʻyŏn.

2. Saebyŏngnyŏk chʻodang esŏ on pʻyŏnji.

Quasi-Nelson logic (QNL) was recently introduced as a common generalisation of intuitionistic logic and Nelson's constructive logic with strong negation. Viewed as a substructural logic, QNL is the axiomatic extension of the Full Lambek Calculus with Exchange and Weakening by the Nelson axiom, and its algebraic counterpart is a variety of residuated lattices called quasi-Nelson algebras. Nelson's logic, in turn, may be obtained as the axiomatic extension of QNL by the double negation (or involutivity) axiom, and intuitionistic logic as the (...) extension of QNL by the contraction axiom. A recent series of papers by the author and collaborators initiated the study of fragments of QNL, which correspond to subreducts of quasi-Nelson algebras. In the present paper we focus on fragments that contain the connectives forming a residuated pair (the monoid conjunction and the so-called strong Nelson implication), these being the most interesting ones from a substructural logic perspective. We provide quasi-equational (whenever possible, equational) axiomatisations for the corresponding classes of algebras, obtain twist representations for them, study their congruence properties and take a look at a few notable subvarieties. Our results specialise to the involutive case, yielding characterisations of the corresponding fragments of Nelson's logic and their algebraic counterparts. (shrink)

황우석 교수 사건을 종합적으로 분석한 책이 나왔다. 『황우석의 나라』는 황 교수 사태가 요동칠 때 에서 기자생활을 한 이성주가 현장을 지켜보고 이를 분석한 책이다. 저자는 7년 동안 의학팀장을 맡았고 2004년 8월부터 1년 동안 미국 존스홉킨스대에서 연수를 하고 귀국한 뒤 4개월 동안 과학 및 의학 분야의 곁에서 황 교수 사태가 요동치는 현장을 지켜보았다. 이 책은 황우석 사건 보도와 관련해 알려지지 않은 언론계의 현장 이야기, 과학계의 분위기, 황우석의 로비 실태 등을 생생하게 보여준다. 또 이번 사태가 발생하기 이전의 각종 기사를 분석해 언론이 무비판적으로 보도한 (...) 황 교수의 업적이 얼마나 허점투성이인지 설득력 있게 제시하고 있다. 동시에 19세기 말 프랑스를 뒤흔들었던 ‘드레퓌스 사건’과 마찬가지로 언론이 줄기세포처럼 똬리를 틀고 있다고 진단하고 언론의 본질과 역할에 대해 문제를 제기한다. 저자는 제2의 황우석 사건을 예방하기 위해 연구비 심사제도 개선, 연구비에서 간접비의 비중 강화, 언론의 에디터제 도입 등 세세한 대안도 내놓고 있다. (shrink)

Two works: the first is a commentary on Book Lambda of Aristotle's Metaphysics; the second is a section of Avicenna's commentary on the so-called "Theology of Aristotle.

Let k be the number of all pure sets, und let K be the number of all pure classes. The Platonist, assuming that the class \V of all pure sets cannot be enlarged by any formal means, will come to the conclusion that cardinalities between k und K are conceptually impossible. So the Continuum Hypothesis is true on class level. And if this feature of \V is reflected by all infinite sets \Va, the General Continuum Hypothesis is true on set (...) level. (shrink)

Let k be the number of all pure sets, und let K be the number of all pure classes. The Platonist, assuming that the class \V of all pure sets cannot be enlarged by any formal means, will come to the conclusion that cardinalities between k und K are conceptually impossible. So the Continuum Hypothesis is true on class level. And if this feature of \V is reflected by all infinite sets \Va, the General Continuum Hypothesis is true on set (...) level. (shrink)